x-y^2/4 >= -1, x <= 1, x+y+1 <= 1, -2 <= y <= 0